<html><head><title>current_time</title><meta name="HandheldFriendly" content="True"></head><body>Returns the current time.<br><br><b>current_time</b>()</body></html>